|
In group theory, a hyperbolic group, also known as a ''word hyperbolic group'', ''Gromov hyperbolic group'', ''negatively curved group'' is a finitely generated group equipped with a word metric satisfying certain properties characteristic of hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by . He noticed that many results of Max Dehn concerning the fundamental group of a hyperbolic Riemann surface do not rely either on it having dimension two or even on being a manifold and hold in much more general context. In a very influential paper from 1987, Gromov proposed a wide-ranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others. == Definitions == Hyperbolic groups can be defined in several different ways. Many definitions use the Cayley graph of the group and involve a choice of a positive constant δ and first define a ''δ-hyperbolic group''. A group is called ''hyperbolic'' if it is δ-hyperbolic for some δ. When translating between different definitions of hyperbolicity, the particular value of δ may change, but the resulting notions of a hyperbolic group turn out to be equivalent. Let ''G'' be a finitely generated group, and ''T'' be its Cayley graph with respect to some finite set ''S'' of generators. By identifying each edge isometrically with the unit interval in R, the Cayley graph becomes a metric space. The group ''G'' acts on ''T'' by isometries and this action is simply transitive on the vertices. A path in ''T'' of minimal length that connects points ''x'' and ''y'' is called a ''geodesic segment'' and is denoted (). A ''geodesic triangle'' in ''T'' consists of three points ''x'', ''y'', ''z'', its ''vertices'', and three geodesic segments (), (), (), its ''sides''. The first approach to hyperbolicity is based on the ''slim triangles'' condition and is generally credited to Rips. Let δ > 0 be fixed. A geodesic triangle is δ-slim if each side is contained in a -neighborhood of the other two sides: ::: ::: ::: The Cayley graph ''T'' is δ-hyperbolic if all geodesic triangles are δ-slim, and in this case ''G'' is a ''δ-hyperbolic group''. Although a different choice of a finite generating set will lead to a different Cayley graph and hence to a different condition for ''G'' to be δ-hyperbolic, it is known that the notion of ''hyperbolicity'', for some value of δ is actually independent of the generating set. In the language of metric geometry, it is invariant under quasi-isometries. Therefore, the property of being a hyperbolic group depends only on the group itself. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「hyperbolic group」の詳細全文を読む スポンサード リンク
|